Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Book title Buchtitel

ISBN

978-3-031-73709-1

Series Schriftenreihe

Lecture Notes in Computer Science

Volume Band

15219

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Di Stefano, Luca ; Inverso, Omar	Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification	Inproceedings Konferenzbeitrag	2024