1. An ASM specification of C# threads and the .NET memory model

Stärk, Robert F. and Börger E. (Egon) (2003)

Reports

2. A security logic for abstract state machines

Nanchen, Stanislas and Stärk, Robert F. (2003)

Reports

3. Axioms for strict and lazy functional programs

Stärk, Robert F. (2003)

Reports

4. The ASMKeY theorem prover

Nanchen, Stanislas, Schmid, Hubert, Schmitt, Peter H. and Stärk, Robert F. (2004)

Reports

5. The hidden computation steps of Turbo Abstract State Machines

Fruja, Nicu Georgian and Stärk, Robert F. (2003)

Reports