Kozen, Dexter Ed.,
Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings - Berlin springer 2004 - 399 - Lecture notes in computer science ; 03125 .
3540223800
681 LNCS
Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings - Berlin springer 2004 - 399 - Lecture notes in computer science ; 03125 .
3540223800
681 LNCS