"ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, ..."

Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels (2007)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2014-04-24