Formal Methods for Components and Objects

DOI10.1007/b14033zbMath1254.68108OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897126

Jaco van de Pol, J. J. M. Hooman

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

Database theory (68P15) Semantics in the theory of computing (68Q55)

Related Items (1)

Semantic models of a timed distributed dataspace architecture

Uses Software

• PVS

This page was built for publication: Formal Methods for Components and Objects