Fingerprint Dive into the research topics of 'Pet formalisms versus industry-proven survivors: Issues on formal methods education'. Together they form a unique fingerprint.