Something In Between Formal Spec and Informal Representation

2026 Open access

Read full text
Authors: Yen, Ryan, Josh Pollock, Caroline Berger, Arvind Satyanarayan
Cited by: 0

Fields of Study & Subjects

Software Engineering Techniques and Practices Model-Driven Software Engineering Techniques Logic programming and type systems

Publication details

Publication date
1 January 2026
Language
EN