MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Techniques for Java-Like Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • JML  
  • by David R. Cok, B Mc
  • … to and presented at the Formal Techniques for Java-like Programs workshop at ECOOP 2004 1 2. THE JAVA MODELING…
  • Add To MetaCart
  • Checking ownership and confinement properties  
  • by Alex Potanin, Alex Potanin, James Noble, James Noble — 2002 — In Formal Techniques for Java-like Programs Workshop at ECOOP’02
  • … Information Formal Techniques for Java-like Programs workshop at ECOOP 2002 in Malaga, Spain. Author…
  • Cited by 7 (2 self) – Add To MetaCart
  • °± "!ˆ # %('()m+  
  • by unknown authors — 2002
  • …://www.cs.kuleuven.ac.be/ Version 1, Monday, 8 April 2002 Position paper for Workshop on Formal Techniques for Java-like Programs…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB