Vol-2392⫷ Vol-2393 ⫸Vol-2394
urn:nbn:de:0074-2393-0


Vol-2393/paper_405⫷Vol-2393/paper_406⫸Vol-2393/paper_409
Grygoriy Zholtkevych

Event Universes: Specification and Analysis Using Coq Proof Assistant