The Collection of
Computer Science Bibliographies

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

Number of references:	1455	Last update:	September 27, 2013
Number of online publications:	1431	Supported:	yes
Most recent reference:	October 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(682), techreport(324), article(262), phdthesis(79), mastersthesis(46), incollection(39), book(11), proceedings(10), misc(2)
Fields:: title(1455), year(1455), author(1444), url(1425), month(1390), abstract(1085), publisher(902), pages(901), volume(755), booktitle(732), address(690), doi(686), doi-url(686), editor(643), number(586), series(502), type(447), note(339), institution(324), journal(262), school(125), conf-month(47), conf-year(45), chapter(16), howpublished(8), edition(1)
Distribution of publication dates: