「Having worked with formal methods specication languages, in particular worked with a language such as Vdm and participated in the design of Rsl, creates a wish for better times where programming languages look and feel like these s...
Powered by Kawaguchi Laboratory, Department of Information and Communication Engineering, Graduate School of Engineering
Contact: sec[ at ]ucl.nuee.nagoya-u.ac.jp
Copyright(C) Nagoya University Academic Community System All Rights Reserved.