C for Yourself: Comparison of Front-End Techniques for Formal Verification.

Sat, 01 Jan 2022 00:00:00 +0100

Levente Bajczi , Zsófia Ádám , Vince Molnár:
C for Yourself: Comparison of Front-End Techniques for Formal Verification. FormaliSE@ICSE 2022: 1-11