Refinable Record Structures in Formal Methods
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Southampton
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-87657-9_1
Publication URI: http://dx.doi.org/10.1007/978-3-030-87657-9_1
Type: Book Chapter
Book Title: Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings (2021)
Page Reference: 3-15