"Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, ..."

John Derrick et al. (2012)

Details and statistics

DOI: 10.1007/978-3-642-30729-4

access: closed

type: Editorship

metadata version: 2019-05-14