VSTTE’10

Verified Software:

Theories, Tools and Experiments

16th-19th August

2010

Edinburgh, Scotland

 
 

Registration

home

sponsors

call for papers

submissions

student support

competition

poster session

keynote speakers

programme

industrial morning

registration

workshops

summer school

accommodation

local information

organisation

contact