Venelin K. Evtimov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1975

2 Venelin K. Evtimov: Control Structures in Single Block Programs. MFCS 1975: 212-218

1974

1 Venelin K. Evtimov: Bases of Paths in Correctness Proofs. MFCS 1974: 359-360

1975
2		Venelin K. Evtimov: Control Structures in Single Block Programs. MFCS 1975: 212-218
1974
1		Venelin K. Evtimov: Bases of Paths in Correctness Proofs. MFCS 1974: 359-360