Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Projects
Student theses
Activities
Datasets
Impacts
Prizes
Search by expertise, name or affiliation
Beyond Vacuity: Towards the Strongest Passing Formula
Hana Chockler
*
, Arie Gurfinkel
, Ofer Strichman
*
Corresponding author for this work
Informatics
Software Modelling and Applied Logic
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
10
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Beyond Vacuity: Towards the Strongest Passing Formula'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically