Putting it all together – Formal verification of the VAMP - Concepedia

Concepedia

Publication | Open Access

Putting it all together – Formal verification of the VAMP

DOI Full Paper Access

90

Citations

16

References

2006

Year

Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul

International Journal on Software Tools for Technology Transfer

– Formal VerificationHumanitiesExistentialismComparative LiteratureEngineeringVerificationFormal MethodsLanguage StudiesFormal Verification

References

	Year	Citations

Page 1