3 works on record
Integrated Formal Methods
Theoretical Aspects of Computing - ICTAC 2023
2023
Formal Aspects of Component Software