Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings Meseguer, José Heftet / 2008 / Engelsk
Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Agha Gul Heftet / 2011 / Engelsk
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi Iida Shusaku Heftet / 2014 / Engelsk
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Futatsugi Kokichi Heftet / 2006 / Engelsk
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Degano Pierpaolo Heftet / 2008 / Engelsk
Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday Dougherty, Daniel Heftet / 2021 / Engelsk
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows Guttman Joshua D. Heftet / 2019 / Engelsk
All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic Clavel Manuel Kombinasjonsprodukt / 2007 / Engelsk
