ADL

MaRDI QIDQ19306swMATHFDO

Official website http://adl.opengroup.org/

Cited in

(8)

• Theoretical Aspects of Computing - ICTAC 2004
• Combining model checking and testing
• jContractor
• ADL2
• BCEL
• JPAX
• scientific article; zbMATH DE number 804594 (Why is no real title available?)
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)

This page was built for software: ADL