Keyword:specification language

Publications
Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions Markus von der Heyde, Chukwunwike Otunuya, Matthias Goebel, Dietmar Zoerner and Ulrike Lucke In:Proceedings of European University Information Systems Congress 2023
A Brief Introduction to the PVS2C Code Generator Natarajan Shankar In:Automated Formal Methods
Constraint Problem Specification as Compression Steve Prestwich, S. Armagan Tarim and Roberto Rossi In:GCAI 2016. 2nd Global Conference on Artificial Intelligence