Dependable Systems Group

Recent Services

Editor of the International Journal of Foundations of Computer Science (IJFCS).

See also Projects.