Verification of Liveness and Safety Properties of Behavioral Programs Using BPjS

von Bar-Sinai, Michael
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)