Matches in DBpedia 2016-04 for { <http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf author "Christoph Walther and Stephan Schweitzer".
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf institution "TU Darmstadt / Programmiermethodik".
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf isCitedBy Christoph_Walther.
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf number "VFR 02/04".
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf title "The VeriFun Tutorial".
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf type "Technical Report".
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf url VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf.
- VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf year "2002".