Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.

Pascal Chambre Pierre Deransart Jan Maluszynski

Published in: JFPLC (1996)

Keyphrases

lifelong learning
technology enhanced
corporate training
higher education
database
software engineering
low cost
collaborative learning
m learning