Results 91 to 95 of about 491 (95)
Some of the next articles are maybe not open access.
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation
2017exaly
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ
Duong Dinh Tran, Kazuhiro Ogata 0001openaire +1 more source

