BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
publications
(1)
previous | 1 | next
Bogor: an extensible and highly-modular software model checking framework.
Robby
and Matthew B.
Dwyer
and John
Hatcliff
ESEC / SIGSOFT FSE
267-276 (2003)
to
dblp
by
dblp
on 2008-05-09 00:00:00
|
URL
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
dblp
::
::
