Search alternatives:
specifying color » specifying complex, specifying how
Cover Image
Read Now

1
Published 2011
Springer Berlin Heidelberg
“..., methods and tools to write and specify programs and languages, methods and tools for reasoning about...”