1
Julkaistu 2010
Sisällysluettelo: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
Hae kokoteksti
Elektroninen E-kirja