Old Web
English
Sign In
Acemap
>
authorDetail
>
Heila Botha
Heila Botha
Stellenbosch University
Pathfinder
Computer science
Model checking
Java
Theoretical computer science
3
Papers
24
Citations
0.00
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
Towards Model Checking Android Applications
2018
IEEE Transactions on Software Engineering
Guangdong Bai
Quanqi Ye
Yongzheng Wu
Heila Botha
Jun Sun
Yang Liu
Jin Song Dong
Willem Visser
Show All
Source
Cite
Save
Citations (22)
1