Logic and Modelling
Program Logic

Jörg Endrullis
Vrije Universiteit Amsterdam