MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formalization" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 234,737 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Formal  
  • by unknown authors
  • …Formal verification of C systems code Structured types, separation logic and theorem proving…
  • Add To MetaCart
  • A Formalization of  
  • by Anonymity And Onion, S. Mauw, J. H. S. Verschuren, E. P. De Vink — 2004 — In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS 2004
  • …A Formalization of Anonymity and Onion Routing S. Mauw 1 , J.H.S. Verschuren 1,2 and E.P. de Vink…
  • Add To MetaCart
  • Formalization in Practice  
  • by Lars Mathiassen, Andreas Munk-madsen
  • …5 Formalization in Practice* Lars Mathiassen Andreas Munk-Madsen Abstract. Formalizations are used…
  • Add To MetaCart
  • Formalized mathematics  
  • by John Harrison — 1996 — TURKU CENTRE FOR COMPUTER SCIENCE
  • …Formalized Mathematics John Harrison Turku Centre for Computer Science TUCS Technical Report No 36…
  • Cited by 16 (0 self) – Add To MetaCart
  • Formal ~orpholog¥  
  • by Loretansk N~m, Praha I
  • …Formal ~orpholog¥ Jan HAJIC Re~earch Institute of Hathematical Machines LoretAnsk~ n~m. 3 ~18 55…
  • Add To MetaCart
  • Incremental Formalization  
  • by Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun — 1996
  • …), Juli 1996. Incremental Formalization Bernhard Steffen, Tiziana Margaria, Andreas Cla��en, Volker Braun…
  • Cited by 1 (0 self) – Add To MetaCart
  • Formalism and Method  
  • by Egidio Astesiano, Gianna Reggio — 1999
  • …Formalism and Method ? Egidio Astesiano and Gianna Reggio Dipartimento di Informatica e Scienze…
  • Cited by 14 (4 self) – Add To MetaCart
  • Formal problems  
  • by John Mccarthy — 1979 — in Semitic Phonology and Morpholog3,. Doctoral Dissertation, MIT, Cambridge Massachussetts
  • … Stanford University Stanford, CA 94305 jmc@(email omitted); http://www-formal.stanford.edu/jmc/ 1986…
  • Cited by 3 (0 self) – Add To MetaCart
  • On Formal Verification of . . .  
  • by Kamal, Y. I. Chang — 1993
  • … exclusion algorithms that can be applied for formal and rigorous verification of these algorithms. We have…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB