Laws of programming with concurrency (Invited Talk)

Bibliográfalaš dieđut
Váldodahkki: Hoare, T
Materiálatiipa: Conference item
Almmustuhtton: Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik‚ Germany 2013