University of LiègeULgFaculty of EngineeringFacSALibrary News   
Pierre Wolper - Courses taught
INFO0009-2Bases de données (organisation générale)
INFO0012-2Computation structures
INFO0016-1Introduction to the theory of computation
INFO0060-1Concurrent system verification and temporal logic