|
- A Mechanized Formalization for the Token Invariant Properties in Subclass of Petri net called Decision Free net
by Pratima Kumari Shah and Pauline N. Kawamoto
- Mizar Formalization of Divisibility Rules
by Adam Naumowicz and Radosław Piliszek
- Deductive Program Verification in Mizar
by Mariusz Giero
- Alternative Formal Approach to Topology
by Adam Grabowski
|