Magazine 2-1 (April 1994): Formal Specification MethodsThis entry was posted in Magazine on February 2, 2009 by webmaster@xootic.org Specifying; a formality? – ir. Erik Jan Marinissen () Towards Ph.D. in Design – ir. Ad Peeters () “There’s nothing so practical as a good theory” – interview with dr. Mike Spivey () Research and Application of Formal Methods – dr.ir. Loe Feijs () Formal Specification of ‘Traffic’ – ir. Frank van den Berk ()