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
Number of items: 3.

Conference or Workshop Item

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).
Conference: None | Not Set


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 Mon Apr 6 00:03:43 2020 CEST.