Sort by
Refine Your Search
-
advancements achieved with the LHC is the discovery of the Higgs boson by the ATLAS and CMS collaborations in 2012, providing crucial experimental verification of the Standard Model (SM) of particle physics
Searches related to model checking
Enter an email to receive alerts for model-checking positions