Jung Kyu Chae, Paul Mougeat, Jean-Arnaud Francois, Roselyne Chotin-Avot, Habib Mehrez. A formalism of the specifications for library development. In 2013 IEEE International SOC Conference, Erlangen, Germany, September 4-6, 2013. pages 307-312, IEEE, 2013. [doi]
Abstract is missing.