Transformation + Analysis = Verification

I.G.J. Raedts, M. Petkovic, A. Serebrenik, L. Somers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationBusiness process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany
EditorsI. Schieferdecker, S. Goericke
Place of PublicationHeidelberg, Germany
Publisherdpunkt.verlag
Pages253-264
ISBN (Print)978-3-89864-489-1
Publication statusPublished - 2007
Eventconference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28 -
Duration: 26 Sep 200728 Sep 2007

Conference

Conferenceconference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28
Period26/09/0728/09/07
OtherConquest 2007, Potsdam, Germany

Cite this