Proof-theoretic conceptual modeling: the NIAM case study

C Sernandas, J Fiadeiro, R Meersman, A Sernandas, ED Falkenberg (Editor)

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationInformation System Concepts
Subtitle of host publicationan in-depth Analysis
EditorsE D Falkenberg, P Lindgreen
Place of PublicationAmsterdam
PublisherElsevier Science Publishers
Number of pages30
ISBN (Print)0444883231, 9780444883230
Publication statusPublished - 1989

Cite this