Login / Signup
Parameter Passing in Algebraic Specification Languages.
Hartmut Ehrig
Hans-Jörg Kreowski
James W. Thatcher
Eric G. Wagner
Jesse B. Wright
Published in:
Theor. Comput. Sci. (1984)
Keyphrases
</>
specification languages
formal specification
object oriented programs
first order logic
input parameters
cooperative
reverse engineering
neural network
data mining
information systems
case study
support vector
higher order
model checking