Repository
https://github.com/pietrobraione/jbse-manual.git
Project Slug
jbse-manual
Last Built
20 hours, 30 minutes ago
passed
Maintainers
Home Page
https://pietrobraione.github.io/jbse/
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/jbse-manual/badge/?version=latest
:target: https://jbse-manual.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://jbse-manual.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://jbse-manual.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/jbse-manual/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
java,
program-verification,
symbolic-execution
Short URLs
jbse-manual.readthedocs.io
jbse-manual.rtfd.io
Default Version
latest
'latest' Version
master
