- Tytuł:
-
Producing Certified Functional Code from Inductive
Specifications - Autorzy:
- Źródło:
- Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. 7679:76-91
Książka elektroniczna