HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:teaching formal method

Papers
Having Fun in Learning Formal Specifications
Wishnu Prasetya, Craig Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, Jasper Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle Oostveen, Tijmen van den Pol and Wink van Zon
EasyChair Preprint no. 814
Copyright © 2012-2022 easychair.org. All rights reserved.