DSpace at KOASAS
Browsing DSpace

Browse "RIMS Conference Papers" by Author Yi K.

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

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

rss_1.0 rss_2.0 atom_1.0