Academic Journal
View in EDS

Integrating formal specifications into applications: the ProB Java API

Bibliographic Details
Title: Integrating formal specifications into applications: the ProB Java API
Authors: Körner, PhilippAff1, IDs10703020003513_cor1, Bendisposto, Jens, Dunkelau, Jannik, Krings, Sebastian, Leuschel, Michael
Source: Formal Methods in System Design: An International Journal. 58(1-2):160-187
Database: Springer Nature Journals
Description
ISSN:09259856
15728102
DOI:10.1007/s10703-020-00351-3