Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering with Ada
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
The verification of low-level code
Software Engineering Journal
The Z notation: a reference manual
The Z notation: a reference manual
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Optimization of Ada '95 tasking constructs
Proceedings of the conference on TRI-Ada '97
Ada: the cheapest way to build a line of business
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
A systematic approach to identifying a safe subset for safety-critical software
ACM SIGSOFT Software Engineering Notes
Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004
Information and Software Technology
Proceedings of the 2010 ACM Symposium on Applied Computing
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Runtime monitoring of time-sensitive systems
RV'11 Proceedings of the Second international conference on Runtime verification
| Hi-index | 0.00 |