Viorel Preoteasa

Homepages 🌐

• http://users.abo.fi/vpreotea/

E-Mails 📧

• if.otlaa @asaetoerp.leroiv

Entries

2014

Formalization of Refinement Calculus for Reactive Systems

by Viorel Preoteasa 📧

Oct 08

2011

Pseudo Hoops

by George Georgescu, Laurentiu Leustean and Viorel Preoteasa 🌐

Sep 22

Lattice Properties

by Viorel Preoteasa 🌐

Sep 22

Algebra of Monotonic Boolean Transformers

by Viorel Preoteasa 🌐

Sep 22

2010

Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement

by Viorel Preoteasa 🌐 and Ralph-Johan Back 🌐

May 28

Semantics and Data Refinement of Invariant Based Programs

by Viorel Preoteasa 🌐 and Ralph-Johan Back 🌐

May 28