Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Translation Validation: From SIGNAL to C
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Hoare logic for realistically modelled machine code
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Software model checking without source code
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |