January 7, 2020
Prototyping Games Using Formal Methods
Authors
Sebastian Krings, Philipp Körner
Venue
FMFun 2019
Bibtex
@InProceedings(prototyping-games,
Author = {Sebastian Krings and Philipp Körner},
Title = {{Prototyping Games Using Formal Methods}},
Booktitle = {Proceedings FMFun (International Workshop on Formal Methods - Fun for Everybody) 2019},
Year = 2021,
Series = {CCIS},
Volume = 1301,
Publisher = {Springer}
)
