Developing formally verified Ada programs

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75238 ◽

1989 ◽

Cited By ~ 2

Author(s):

N. Ramsey

Download Full-text