Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac. Automated Proving of the Behavioral Attributes. In Petros Kefalas, Demosthenes Stamatis, Christos Douligeris, editors, 2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009. pages 33-38, IEEE Computer Society, 2009. [doi]
Abstract is missing.