Pierre Wolper | Université de Liège - Academia.edu

Pierre Wolper

About

Pierre added 2 papers 2011-05-14 14:44:27 -0700

Pierre started following the work of Rodolphe Sepulchre, Université de Liège, Electricité, electronique et informatique. 2011-02-09 10:24:30 -0800

Pierre added themselves to the department Electricité, electronique et informatique. 2009-11-15 05:50:46 -0800

Papers (2)

An automata-theoretic approach to automatic program verification

Research Interests (2)

Primary

Université de Liège

Faculty Member, Electricité, electronique et informatique

Follow Pierre's work

Department Colleagues (6)

Rodolphe Sepulchre

Following the Work of (1)

Rodolphe Sepulchre

Work being Followed by (1)

x

Log In

Academia © 2012