P. Ward

According to our database, P. Ward authored at least 2 papers between 1978 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Integration of formal verification with real-time design.

G. Krasovec, N. Shankar, P. Ward

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

1978

Compiler Writing System for Attribute Grammars.

Gregor von Bochmann, P. Ward

Comput. J., 1978