Mario Rodriguez Artalejo

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical computer science