Multi-valued Logic for Static Analysis and Model Checking
- Flemming Nielson
- , Hanne Riis Nielson
- , Fuyuan Zhang
研究成果: 書籍/レポート タイプへの寄稿 › 章
2
リンクは新しいタブで開きます
被引用数
(Scopus)