Author Info
Name
Papers
Collaborators
MARTIN STRECKER
3
2
Citations 
PageRank 
Referers 
7
1.25
9
Referees 
References 
24
10
Title
Citations
PageRank
Year
Abstraction and Verification of Properties of a Real-Time Java.00.342012
Investigating Type-Certifying Compilation with Isabelle50.512002
Typelab: An Environment for Modular Program Development20.401997