Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods
EditorsK Breitman, A Cavalcanti
Place of PublicationBerlin
PublisherSpringer
Pages226-245
Number of pages20
ISBN (Print)978-3-642-10372-8
Publication statusPublished - 2009
EventICFEM 2009 - Berlin
Duration: 8 Dec 200911 Dec 2009

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume5885
ISSN (Print)0302-9743

Conference

ConferenceICFEM 2009
Period8/12/0911/12/09

    Research areas

  • CWTS JFIS < 0.75

ID: 3353330