Jürgen Ammann

According to our database, Jürgen Ammann authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996