ML with Concurrency Design, Analysis, Implementation, and Application Nielson Flemming Heftet / 2011 / Engelsk
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers Kaklamanis Christos Heftet / 2009 / Engelsk
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings Nielson Flemming Heftet / 2019 / Engelsk
