Abstract Constraint Data Types

José Luiz Fiadeiro, Fernando Orejas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

164 Downloads (Pure)
Original languageEnglish
Title of host publicationSoftware, Services, and Systems
Subtitle of host publicationEssays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
EditorsRocco de Nicola, Rolf Hennicker
PublisherSpringer
Chapter12
Pages155-170
Number of pages16
ISBN (Electronic)978-3-319-15545-6
ISBN (Print)978-3-319-15544-9
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8950

Cite this