Items where Author is "Tarrach, Thorsten"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Thesis
Number of items: 3.

Conference or Workshop Item (A Paper)

Backes, Michael and Hriţcu, Cătălin and Tarrach, Thorsten
(2011) Automatically Verifying Typing Constraints for a Data Processing Language.
In: Proc. 1st International Conference on Certified Programs and Proofs (CPP 2011).

Thesis

Tarrach, Thorsten
(2010) Automatically Verifying 'M' Modelling Language Constraints.
Masters thesis, Saarland University.

Tarrach, Thorsten
(2009) SPI2F - A Prototype Code Generator for Security Protocols.
Bachelors thesis, Saarland University.

This list was generated on Thu Apr 18 07:29:53 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.