Computer Science Laboratory

We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.

このサイトは開発サイトとして wpml.org に登録されています。本番サイトキーに切り替えて remove this banner を実行してください。