Behavioural Types for Reliable Large-Scale Software Systems

Publikation

Publikationer pr. år 2011 2011 2013 2013

• 1 Konferenceartikel i proceeding
• 1 Konferenceartikel i tidsskrift

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2011

  Typed ψ-calculi

  Hüttel, H., 2011, I: Lecture Notes in Computer Science. 6901, s. 265-279 15 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  12 Citationer (Scopus)