Formal Methods in Programming and Their Applications: International Conference,

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

Dines Bjørner Manfred B Formal Methods in Programming an (Paperback) (UK IMPORT)

Formal Methods in Programming and Their Applications: International Conference,

Extreme Programming And Agile Methods - XP/Agile Universe 2004 : 4th Conferen...

Bjrner - Formal Methods in Programming and Their Applications Inter - X555z

Modeling Decisions for Artificial Intelligence : First International Conferen...