Concepedia

Author

Mark Probst

TU Wien

Also Known As

M. Probst, Mark Probst

2

Publications

56

Citations

2

H-Index

13

Concepts

All Affiliations

TU Wien
MP

About

Mark Probst is an author at TU Wien specializing in formal verification, software engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Engineering

1

1

16

3

Computer Science

1

1

16

4

Compilers

1

1

16

5

Computer Architecture

1

1

16

Mark Probst

×

2

Publications

56

Citations

2

H-Index

YearCitations

Page 1