Berthold Daum
-
Visual Zero: A persistent and interactive object-oriented programming environment
Journal of Visual Languages and Computing
Integration of verification methods for program systems
Programming and Computing Software