Predestination and invariants of specifications

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	English
Title of host publication	Liber Amicorum Jaco de Bakker
Editors	F. de Boer, M. van der Heijden, P. Klint, J. Rutten
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	111-116
Number of pages	5
Publication status	Published - 30-Aug-2002

Handle.net

@inbook{5189bc9ff5844efbbada3c2382d5247f,

title = "Predestination and invariants of specifications",

author = "Wim Hesselink",

year = "2002",

month = aug,

day = "30",

language = "English",

pages = "111--116",

editor = "{de Boer}, {F. } and {van der Heijden}, {M. } and P. Klint and Rutten, {J. }",

booktitle = "Liber Amicorum Jaco de Bakker",

publisher = "Centrum voor Wiskunde en Informatica",

}