Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Logic for Security

Spring School Logic in Computer Science. Venezia. 2004

Erscheinungsjahr: 2004

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Geprüft:Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo Institut für Informatik
Logo Universität Koblenz