Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings - International Conference on Algebraic Methodology and Software Technology 2008 : Urbana, Ill.); Meseguer, Jose.; Rosu, Grigore; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Software engineering -- Congresses; Abstract data types (Computer science) -- Congresses; Algebraic logic -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering; Symbolic and Algebraic Manipulation