Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Proof in VDM: A Practitioner’s Guide
Home
Publications
Proof in VDM: A Practitioner’s Guide
Proof in VDM: A Practitioner’s Guide
Juan C. Bicarregui
Juan C. Bicarregui
JF
John S. Fitzgerald
John S. Fitzgerald
PL
Peter A. Lindsay
Peter A. Lindsay
RM
Richard Moore
Richard Moore
BR
Brian Ritchie
Brian Ritchie
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1994
book
Published by
Springer Nature
https://doi.org/10.1007/978-1-4471-2033-9
Abstract
No abstract available
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top