Geuvers, Herman,,Wiedijk, Freek,.Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /.Springer,,c2003..
Brinksma, Ed.,Hermanns, Holger,,Katoen, Joost-Pieter..Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /.Springer,,2001..
Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /