By Boute Raymond   in Formal Methods in System Design

ISSN:0925-9856|37|2-3|95-140

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 19.729355

By Boute Raymond T.   in Mathematics Magazine

ISSN:1930-0980|85|3|193-199

Mathematical Association of America‎(2012)‎

Access to resources Favorite 15.7834835