ADoy! On Dynamically Integrating ADOxx and Alloy

2026 Book chapter

View at publisher

Authors: Sybren de Kinderen, Qin Ma, Christian Glodt, Monika Kaczmarek

DOI: 10.1007/978-3-031-98660-4_5

Cited by: 0

References: 16

Fields of Study & Subjects

Model-Driven Software Engineering Techniques Formal Methods in Verification Advanced Software Engineering Methodologies

References 16