Helios verification: To alleviate, or to nominate : is that the question, or shall we have both?

Stephan Neumann, M Maina Olembo, Karen Renaud, Melanie Volkamer

Research output: Contribution to conference › Paper › peer-review

14 Citations (Scopus)
43 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Helios verification: To alleviate, or to nominate : is that the question, or shall we have both?'. Together they form a unique fingerprint.

Computer Science