HoIce: An ICE-Based Non-linear Horn Clause Solver

Adrien Champion, Naoki Kobayashi, Ryosuke Sato

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

7 被引用数 (Scopus)

フィンガープリント

「HoIce: An ICE-Based Non-linear Horn Clause Solver」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science