↓ Skip to main content
What is this page? Embed badge

Integrated Formal Methods

Overview of attention for book
Integrated Formal Methods
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
  3. Altmetric Badge
    Chapter 7 Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
1 patent
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Integrated Formal Methods
Published by
Springer International Publishing, January 2020
DOI 10.1007/978-3-030-63461-2
ISBNs
978-3-03-063460-5, 978-3-03-063461-2
Editors

Brijesh Dongol, Elena Troubitsyna

View on publisher site

Login to access the Attention Digest and the Sentiment Analysis related to this output.

Timeline Attention over time Attention Score history
Login to access the full charts related to this output.
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.