Vol-1803⫷ Vol-1804 ⫸Vol-1805
urn:nbn:de:0074-1804-0


Vol-1804/paper-02⫷Vol-1804/paper-03⫸Vol-1804/paper-04
Martin BrainDaniel KroeningRyan McCleeary

Algebraic Techniques in Software Verification : Challenges and Opportunities