Topics in Semantics-based Program Manipulation (2001)

by Bernd Grobauer
Citations:2 - 0 self