Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Integration of a Security… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Integration of a Security Type System into a Program Logic

Paper i proceeding
Författare Reiner Hähnle
Jing Pan
Philipp Rümmer
F. Walter
Publicerad i Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS
Volym 4661
Sidor 116-131
ISBN 978-3-540-75333-9
Publiceringsår 2007
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Sidor 116-131
Språk en
Länkar www.springerlink.com/content/974q68...
Ämneskategorier Datalogi, Programvaruteknik
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?