The Collection of
Computer Science Bibliographies

Bibliography of publications from the Specification and Verification Lab, ENS de Cachan

Number of references:	1347	Last update:	March 22, 2013
Number of online publications:	1323	Supported:	yes
Most recent reference:	March 2013

Author:: Nicolas Markey <markey @ lsv . ens-cachan . fr> (email mangled to prevent spamming)
Lab. Specification and Verification
ENS de Cachan
61 av. Pdt. Wilson
F-94235 Cachan Cedex
France
Abstract:: This bibliography lists publications by researchers at LSV (Lab. Specification and Verification). Most of the publications are available on-line.
Keywords:: Specification, Verification, Formal Methods, Logic, Model-checking

Original source:

http://www.lsv.ens-cachan.fr... (Format: bibtex, compressed with gzip)

Types:: inproceedings(606), techreport(316), article(244), phdthesis(75), mastersthesis(46), incollection(38), book(10), proceedings(10), misc(2)
Fields:: title(1347), year(1347), author(1336), url(1318), month(1283), abstract(988), pages(813), publisher(809), volume(691), booktitle(655), address(614), doi(601), doi-url(601), editor(571), number(563), series(452), type(435), note(331), institution(316), journal(244), school(121), conf-month(44), conf-year(44), chapter(15), howpublished(8), edition(1)
Distribution of publication dates: