2 Ergebnisse für: blockeel
-
ISoLA 2008 - 3rd International Symposium on Leveraging Applications of Formal Methods
http://www.cs.uni-potsdam.de/isola2008/?id=program#a16
Keine Beschreibung vorhanden.
-
Organic Eprints - Authors is "Niggli", "Urs" AND EPrint Type matches any of "Journal paper", "Newspaper or magazine article", "Working paper", "Conference paper, poster, etc. ", "Submit a paper or a poster to a conference"... (13 not shown)
https://kurzlink.de/7Mb3oWxZ5
Keine Beschreibung vorhanden.