Identifiant pérenne de la notice : 252869745
Notice de type Congrès
Abstract state machines : theory and applications : international workshop, ASM 2000,
Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich, Philipp W. Kutter,
Martin Odersky, ... [et al.] (eds.), 2000