More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-2 of 2 results

  • www.kindsoftware.com
  • 12
KindSoftware is a research group, community, and company dedicated to advocating the use of applied formal methods for software development through education, community building, and by example... KindSoftware is dedicated to quality software..
Relevance: 17.434528
  • sat2018.azurewebsites.net
  • 1
  • 33
SAT 2018 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability. Specifically, SAT 2018 invites scientific contributions addressing different aspects..
Relevance: 10.641602