Formal Methods in Programming and Their Applications Internationa

Formal Methods in Programming and Their Applications: International Conference,

Bjrner - VDM '90. VDM and Z - Formal Methods in Software Development - X555z

Formal Methods in Programming and Their Applications : International Conferen...

Roy - Combinatorial Programming Methods and Applications Proceeding - X555z

Hhnle - Leveraging Applications of Formal Methods Verification and - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z