Verified Software: Theories, Tools, Experiments: Second International Conference

Blazy - Verified Software. Theories Tools and Experiments 8th Inte - X555z

Verified Software: Theories, Tools and Experiments : Philadelphia PA

Verified Software: Theories, Tools, Experiments: 4th International Conference, V

Paskevich - Verified Software. Theories Tools and Experiments 9th - X555z

Verified Software: Theories, Tools, Experiments: 4th International Conference, V

Giannakopoulou - Verified Software Theories Tools and Experiments - X555z

Quantum Field Theory and Condensed Matter: An Introduction by Ramamurti Shankar