1st South-East European Workshop on Formal Methods
Wednesday, 19 November 2003
On November 20 a report Rapid Training on Specification Based Testing Tools'' will be given at the 1st South-East European Workshop on Formal 
"Agile Formal Methods: Practical, Rigorous Methods for a changing world}'' in Thessaloniki, Greece.
(see the article)
 
[ Back ]
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences