-
1
Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
Published 2011“…QA76.758 .I58 2011…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
2
Algebraic methodology and software technology 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
Published 2011“…QA76.758 .I58 2011…”
Full Text (via Springer)
Electronic Conference Proceeding eBook