Fm 2015: formal methods : 20th international symposium, oslo, norway, june 24-26, 2015, proceedings / edited by Nikolaj Bjørner, Frank de Boer.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 9109Editor: Cham : Springer International Publishing : Springer, 2015Descripción: xvi, 610 páginas : 156 ilustracionesTipo de contenido:- texto
- computadora
- recurso en línea
- 9783319192499
- QA76.758
Contenidos:
Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
No hay ítems correspondientes a este registro
Springer eBooks
Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
Para consulta fuera de la UANL se requiere clave de acceso remoto.