De Nicola - Programming Languages and Systems 16th European Symposiu - X555z

Paterson - Automata Languages and Programming 17th International Co - X555z

Bugliesi - Automata Languages and Programming 33rd International Co - X555z

Ryu - Programming Languages and Systems 16th Asian Symposium APLAS - X555z

Merz - Formal Methods and Software Engineering 16th International Co - X555z

Abiteboul - Automata Languages and Programming 21st International - X555z

Kuich - Automata Languages and Programming 19th International Collo - X555z