Modular Specification and Verification of Object-Oriented Programs

Publisher Website

29 January 2002

book
Published by Springer Nature

https://doi.org/10.1007/3-540-45651-1

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: