- Computing polynomial program invariants Markus Muller-Olm Helmut Seidl Sat 22 July 2023
- An Algebraic Definition of Simulation Between Programs Robin Milner Thu 12 December 2013
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
