DE eng

Search in the Catalogues and Directories

Hits 1 – 1 of 1

1
Rule-Based Software Verification and Correction.
Ballis, Demis. - : Universitat Politècnica de València, 2008
In: Riunet (2008)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern