logo
Rigorous tools for specification

Kết quả hội nghị (1)

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
VerificationValidationRigorous tools for specification+26 thêm