An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H Smith

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Name	Electronic Proceedings in Theoretical Computer Science

Access to Document

@inproceedings{2d5fa1b5df66419ab7901323b997f689,

title = "An Entry Point for Formal Methods: Specification and Analysis of Event Logs",

author = "Howard Barringer and Alex Groce and Klaus Havelund and Smith, {Margaret H}",

year = "2009",

doi = "10.4204/EPTCS.20.2",

language = "English",

volume = "20",

series = "Electronic Proceedings in Theoretical Computer Science",

pages = "16--21",

booktitle = "host publication",

}

TY - GEN

T1 - An Entry Point for Formal Methods: Specification and Analysis of Event Logs

AU - Barringer, Howard

AU - Groce, Alex

AU - Havelund, Klaus

AU - Smith, Margaret H

PY - 2009

Y1 - 2009

U2 - 10.4204/EPTCS.20.2

DO - 10.4204/EPTCS.20.2

M3 - Conference contribution

VL - 20

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 16

EP - 21

BT - host publication

ER -