Electronic Communication of the European Association of Software Science and Technology, Volume 53

[–] 

Refine list

showing all 13 records

refine by search term

refine by author

refine by access 

Volume 53, 2012

Automated Verification of Critical Systems