Dusko Pavlovic · 3 obras en el catálogoObrasAlgebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected PapersFoundations of Security, Protocols, and Equational ReasoningPPrograms As DiagramsPrograms As Diagrams
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers