Logical and operational methods in the analysis of programs and systems

F. Nielson, P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft, B. Thomsen

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

Original languageEnglish (US)
Title of host publicationAnalysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers
Pages1-21
Number of pages21
DOIs
StatePublished - 1997
Event5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages - Stockholm, Sweden
Duration: Jun 24 1996Jun 26 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1192 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
CountrySweden
CityStockholm
Period6/24/966/26/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A., & Thomsen, B. (1997). Logical and operational methods in the analysis of programs and systems. In Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers (pp. 1-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1192 LNCS). https://doi.org/10.1007/3-540-62503-8_1