Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

WF220/AvG123: Programming, proving and calculation

  • W.H.J. Feijen
  • , A.J.M. Gasteren, van

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Originele taal-2Engels
UitgeverTechnische Universiteit Eindhoven
StatusGepubliceerd - 1996

Citeer dit