Publikace

• 2024

  DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. s. 0-0.
  Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.