Formal Methods for Components and Objects

DOI10.1007/b14033zbMath1254.68055WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897122

Martin Steffen, Erika Ábrahám, Frank S. de Boer, Willem Paul de Roever

Publication date: 9 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b14033

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N15: Theory of programming languages

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

A Bibliography of Willem-Paul de Roever, An assertion-based proof system for multithreaded Java

Uses Software

• PVS
• JML