×
Edit Profile (opens in new tab)

Vicent, C.

Co-Author Distance
Author ID: vicent.c Recent zbMATH articles by "Vicent, C."
Published as: Vicent, C.
Documents Indexed: 1 Publication since 1984
Co-Authors: 1 Co-Author with 1 Joint Publication
19 Co-Co-Authors

Co-Authors

0 single-authored
1 Clint, Maurice

Serials

1 Software. Practice & Experience

Fields

1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼
The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006
Clint, M.; Vicent, C.
2
1984
The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006
Clint, M.; Vicent, C.
2
1984

Cited by 2 Authors

1 Clint, Maurice
1 Curzon, Paul

Cited in 2 Serials

1 Acta Informatica
1 Formal Methods in System Design

Cited in 2 Fields

2 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year