Travelled to:
1 × United Kingdom
Collaborated with:
S.H.Rodger S.Reading
Talks about:
interact (1) automata (1) support (1) languag (1) increas (1) theori (1) formal (1) cours (1)
Person: Jinghui Lim
DBLP: Lim:Jinghui
Contributed to:
Wrote 1 papers:
- ITiCSE-2007-RodgerLR #automaton #formal method #interactive
- Increasing interaction and support in the formal languages and automata theory course (SHR, JL, SR), pp. 58–62.