Old Web
English
Sign In
Acemap
>
authorDetail
>
rin karasima
rin karasima
Programming language
Computer science
Model checking
Symbolic execution
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Software Analysis WorkbenchとSymbolicPathFindreを使用した網羅的な反例とパス制約の生成
2021
rin karasima
makoto taira kogata
kouzou okano
Show All
Source
Cite
Save
Citations (0)
1