English
Beginner
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC
Zhiming Liu,Jim Woodcock,Huibiao Zhu
2013
View book
Discover references
Zhiming Liu,Jim Woodcock,Huibiao Zhu