We stand with Ukraine  

Cesar Yeep

According to our database1, Cesar Yeep authored at least 2 papers between 2010 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
CleanJava: A Formal Notation for Functional Program Verification.
[BibTeX]
[DOI]
Yoonsik Cheon
,
Cesar Yeep
,
Melisa Vela
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010
Runtime Constraint Checking Approaches for OCL, A Critical Comparison.
[BibTeX]
Carmen Avila
,
Amritam Sarcar
,
Yoonsik Cheon
,
Cesar Yeep
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010


  Loading...