book

2010 8th IEEE International Conference on Software Engineering and Formal Methods

Published in 2010 in Pisa, Italy

Reference details