C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Introduction to the Special Section on FM 2021.
Marieke Huisman
Corina S. Pasareanu
Naijun Zhan
Published in:
Formal Aspects Comput. (2023)
Keyphrases
</>
neural network
mobile devices
database
databases
information systems
website
data structure
data analysis
management system
information retrieval systems