|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nazareno Aguirre, Leila Ribeiro 0001 (eds.) |
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.  |
LAFM  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Cassano, T. S. E. Maibaum |
Actions and Events in Concurrent Systems Design. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Valério Medeiros Júnior, David Déharbe |
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi |
On Verifying Resource Contracts using Code Contracts. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias |
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gastón Scilingo, María Marta Novaira, Renzo Degiovanni |
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky |
The DynAlloy Visualizer. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Regis, Fernando Villar, Nicolás Ricci |
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license