Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitlePreface for the special issue “FM15”.Authorsde Boer, Frank; Bjorner, NikolajSubjectsDAMM, Werner; COMPUTER sciencePublicationActa Informatica, 2018, Vol 55, Issue 6, p459ISSN0001-5903Publication typeArticleDOI10.1007/s00236-018-0323-z