Sven Beyer

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Putting it all together – Formal verification of the VAMP
Sven Beyer and others (2006) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media
Putting It All Together: Formal Verification of the VAMP
Sven Beyer (2005)