Searched defs:proc (Results 1 - 1 of 1) sorted by relevance
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | ... .Source src aprove.VerificationModules.TerminationProcedures.BatchmodeProcessor proc long startTime aprove.VerificationModules.TerminationProcedures.Result res ... |
Completed in 11 milliseconds