1
Foundations of Software Science and Computation Structures [E-Book] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
2
Formal Modeling and Analysis of Timed Systems (vol. # 4202) [E-Book] / 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings