First International Workshop on Larch Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 Martin Ursula Heftet / 1993 / Engelsk
FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II Wing Jeannette M. Heftet / 1999 / Engelsk
FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I Wing Jeannette M. Heftet / 1999 / Engelsk
Data Science in Context Foundations, Challenges, Opportunities Spector, Alfred Z. Innbundet / 2022 / Engelsk