## 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