Showing 1 - 4 results of 4 for search 'Neatherway, R', query time: 0.02s
Refine Results
-
1
-
2
Higher−Order Model Checking of Liveness Properties by Neatherway, R, Ong, C
Published 2013Conference item -
3
A type−directed abstraction refinement approach to higher−order model checking by Ramsay, S, Neatherway, R, Ong, C
Published 2014Conference item -
4
A Traversal Based Algorithm for Higher−Order Model Checking by Neatherway, R, Ong, C, Ramsay, S
Published 2012Conference item