Search results for: Tse-min Lin
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Ravenscar > 80-91
Lecture Notes in Computer Science > Reliable Software Technologies Ada-Europe 2000 > Session: Formal Analysis Methods > 252-265
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Formal Specification > 309-321
Public Choice > 1999 > 98 > 1-2 > 59-82