GUPRO –Generic Understanding of Programs, An Overview (0)

by J Ebert, B Kullbach, V Riediger, A Winter
Venue:Electronic Notes in Theoretical Computer Science