TU Darmstadt / ULB / TUbiblio

Transformational Typing and Unification for Automatically Correcting Insecure Programs

Köpf, Boris and Mantel, Heiko (2007):
Transformational Typing and Unification for Automatically Correcting Insecure Programs.
In: International Journal of Information Security (IJIS), [Article]

Item Type: Article
Erschienen: 2007
Creators: Köpf, Boris and Mantel, Heiko
Title: Transformational Typing and Unification for Automatically Correcting Insecure Programs
Language: English
Journal or Publication Title: International Journal of Information Security (IJIS)
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:11
Additional Information:

kopf.ea:transformational:2007a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item