Verification of Sequential and Concurrent Programs

Publisher Website

1 January 1991

book
Published by Springer Nature

https://doi.org/10.1007/978-1-4757-4376-0

Abstract

No abstract available

Keywords

Cited by 105 articles