Filter
Søkt på: mike hinchey
Filter
1 treff
Software Engineering and Formal Methods
heftet,
2012,
Engelsk,
ISBN 9783642338250
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October …