Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
2021년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2019년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2019년
Formal Aspects of Component Software Formal Aspects of Component Software
2018년
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2017년