Get started
Author

Hanene Cheriet

Observed institution: Badji Mokhtar-Annaba University
OpenAlex ID: A5066749865
A semi-formal approach for Java programs verification
2011 · Toufik Benouhiba, Hanene Cheriet · International Symposium on Programming and Systems (ISPS)
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type