logo
Rigorous State Based Methods

컨퍼런스 결과 (1)

International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)

Rank: COffline
Düsseldorf, Germany
Jun 11, 2025 - Jun 13, 2025
Rigorous State Based MethodsAbstract State MachinesAlloy+5 더 보기