Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
A computational logic handbook
A computational logic handbook
FM 89: assessment of formal methods for trustworthy computer systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Current trends in hardware verification and automated theorem proving
Current trends in hardware verification and automated theorem proving
OBJ as a theorem prover with applications to hardware verification
Current trends in hardware verification and automated theorem proving
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The complete transformation methodology for sequential runtime checking of an ANNA subset
The complete transformation methodology for sequential runtime checking of an ANNA subset
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
| Hi-index | 0.00 |