Integrating formal specifications into applications: the ProB Java API

Bibliographic Details
Title:	Integrating formal specifications into applications: the ProB Java API
Authors:	Körner, Philipp^{Aff1, 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

Be the first to leave a comment!