Kirsten Winter

Identifiers

Open LibraryOL7957028A

Top Subjects

Machine theory (1)
Computer simulation (1)

Books by Kirsten Winter

Total count: 2

Model Checking Abstract State Machines

Simon & Schuster2008-01-01
Integrated Formal Methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Springer2018-08-09