×
Edit Profile (opens in new tab)

Chaudhari, Dipak L.

Co-Author Distance
Author ID: chaudhari.dipak-l Recent zbMATH articles by "Chaudhari, Dipak L."
Published as: Chaudhari, Dipak L.
Documents Indexed: 2 Publications since 2015
Co-Authors: 1 Co-Author with 2 Joint Publications
2 Co-Co-Authors

Co-Authors

0 single-authored
2 Damani, Om P.

Serials

1 Formal Aspects of Computing

Fields

2 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
Combining top-down and bottom-up techniques in program derivation. Zbl 1362.68042
Chaudhari, Dipak L.; Damani, Om
1
2015
Combining top-down and bottom-up techniques in program derivation. Zbl 1362.68042
Chaudhari, Dipak L.; Damani, Om
1
2015

Cited by 2 Authors

1 Chaudhari, Dipak L.
1 Damani, Om P.

Cited in 1 Serial

1 Formal Aspects of Computing

Cited in 1 Field

1 Computer science (68-XX)

Citations by Year