Kondo Effect in Quantum Dots


De Franceschi , Silvano and Wiel, Wilfred G. van der (2010) Kondo Effect in Quantum Dots. In: Klaus D. Sattler (Ed.), Handbook of Nanophysics: Nanoparticles and Quantum Dots. CRC, Boca Raton, FL, pp. 646-664. ISBN 9781420075441

[img] PDF
Restricted to UT campus only

Abstract:The research community has long understood the value of formal specifications in building robust software. However, the adoption of any specifications beyond run-time assertions in industrial software has been limited. All of this has changed at Microsoft in the last few years. Today, formal specifications are a mandated part of the software development process in the largest Microsoft product groups. Millions of specifications have been added, and tens of thousands of bugs have been exposed and fixed in future versions of products under development. In addition, Windows public interfaces are formally specified and the Visual Studio compiler understands and enforces these specifications, meaning that programmers anywhere can now use formal specifications to make their software more robust.
Item Type:Book Section
Copyright:© 2010 CRC
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/76070
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page