Show simple item record

dc.contributor.authorMerz, S
dc.contributor.authorPang, J
dc.contributor.authorDong, JS
dc.date.accessioned2021-10-18T01:22:47Z
dc.date.available2021-10-18T01:22:47Z
dc.date.issued2016
dc.identifier.issn0934-5043
dc.identifier.doi10.1007/s00165-016-0378-y
dc.identifier.urihttp://hdl.handle.net/10072/409158
dc.description.abstractThe International Conference on Formal Engineering Methods (ICFEM) is a well-established forum for the presentation of research in all topics related to formal engineering methods, including verification and validation, software engineering, formal specification and modeling, software security and reliability. Contributions that advance the state of the art of applying formal methods in practice are particularly encouraged. The 16th edition of ICFEM took place in Luxembourg in November 2014.
dc.languageen
dc.publisherSpringer
dc.relation.ispartofpagefrom343
dc.relation.ispartofpageto344
dc.relation.ispartofissue3
dc.relation.ispartofjournalFormal Aspects of Computing
dc.relation.ispartofvolume28
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchcode4613
dc.titleEditorial
dc.typeJournal article
dc.type.descriptionC3 - Articles (Letter/ Note)
dcterms.bibliographicCitationMerz, S; Pang, J; Dong, JS, Editorial, Formal Aspects of Computing, 2016, 28 (3), pp. 343-344
dc.date.updated2021-10-18T01:20:28Z
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record