Showing results 1 to 1 of 1
Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers Shilov N.V.; Yi K., Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication, v.43, pp.37 - 52, 2000 |
Discover