Travelled to:1 × USA
1 × United Kingdom
Collaborated with:H.Srikanth L.A.Williams E.Wiebe C.Miller M.F.Stallmann R.D.Rodman S.Bahram M.C.Grace S.D.High
Talks about:proof (2) automata (1) environ (1) correct (1) checker (1) theori (1) scienc (1) comput (1) access (1) rotat (1)
Person: Suzanne Balik
DBLP: Balik:Suzanne
Contributed to:
2007
2004Wrote 2 papers:
- ITiCSE-2007-StallmannBRBGH #automaton #correctness #named #proving
- ProofChecker: an accessible environment for automata theory correctness proofs (MFS, SB, RDR, SB, MCG, SDH), pp. 48–52.
- CSEET-2004-SrikanthWWMB #on the
- On Pair Rotation in the Computer Science Course (HS, LAW, EW, CM, SB), pp. 144–149.