Yazar
tacas 2007 2007 braga
1 cilt bulundu.
Cilt sonuçları
Tools and algorithms for the construction and analysis of systems
TACAS 2007 (2007 Braga, Portugal) · Springer
738 sayfa · 2007
Congresses / Development / System design / Computer software / Computer software, development