Brad A. Silverberg

Publication Activity (10 Years)

Years Active: 1979-1983
Publications (10 Years): 0

Publications

Eric C. R. Hehner, Brad A. Silverberg
Programming with Grammars: An Exercise in Methodology-Directed Language Design. Comput. J. 26 (3) (1983)
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
Writing Simulatable Specifications in SPECIAL. The Use of Formal Specification of Software (1979)