Charles Explorer logo
🇬🇧

Third International Workshop on Formal Aspects of Component Software (FACS 2006)

Publication at Faculty of Mathematics and Physics |
2007

Abstract

Third International Workshop on Formal Aspects of Component Software (FACS 2006)