Formal Methods for Components and Objects
From MaRDI portal
Publication:5897126
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
Related Items (1)
Uses Software
This page was built for publication: Formal Methods for Components and Objects