Formal methods for object-oriented software engineering
Year: 1996
Type: article
Source: Annals of Software Engineering
DOI: 10.1007/bf02063808
Author: Mahesh Dodani
Institution: IBM (United States)
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2089510404