m
     
Thesaurus

H 0 68Q60

= Specification and verification (program logics, model checking, etc.)

AMS > 68-XX > 68Qxx > 68Q60

[52 document(s)]

Documents (Codes MSC)

Z