Stan środowiska w Polsce

Veröffentlicht 1993

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

von Garzella, Jack J.
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Proceedings / Eurocarto IX : [Warsaw 11 - 13 June 1991, Poland]

Veröffentlicht 1991

An SMT Theory of Fixed-Point Arithmetic

von Baranowski, Marek
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)