Formal Methods for Components and Objects

DOI10.1007/b14033zbMath1254.68067DBLPconf/fmco/2002arXiv1409.6603OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897129

Bernhard Rumpe

Publication date: 9 February 2010

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

Full work available at URL: https://arxiv.org/abs/1409.6603

Mathematics Subject Classification ID

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

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