Skip to main content

Experiments with program verification systems

Bettina Buth‚ Karl−Heinz Buth‚ Ursula Martin and Victoria Stavridou

Journal
ProCoS document Kiel BB
Number
1
Volume
2
Year
1989