Telecharger Cours

UMI films the text direcüy from the original or ccpy suknitted. Thu

This volume contains the contributions presented at the International. Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in.



Download