Algebraic methodology and software technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised selected papers

Michael Johnson (Editor), Dusko Pavlovic (Editor)

Research output: Book/ReportEdited Book/Anthology

Abstract

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in"Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
Original languageEnglish
Place of PublicationBerlin
PublisherSpringer, Springer Nature
DOIs
Publication statusPublished - 2011

Publication series

NameLecture notes in computer science
PublisherSpringer
Volume6486
ISSN (Print)0302-9743

Keywords

  • Software engineering
  • Abstract data types (Computer science)

Fingerprint Dive into the research topics of 'Algebraic methodology and software technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised selected papers'. Together they form a unique fingerprint.

Cite this