skip to main content

Integrated Formal Methods

International Conference on Integrated Formal Methods Wolfgang Grieskamp; Juris Hartmanis; Thomas Santen; Bill Stoddart; Jan van Leeuwen

Springer Berlin Heidelberg 2000

Acesso online

Buscando em bases de dados remotas. Favor aguardar.