Suchergebnisse - sequential (progress OR process) - syntax AND semantics*

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I von Dillig, Isil, Tasiran, Serdar

“… This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, …”
Volltext