| Formal Methods in Requirements Engineering: Survey and Future Directions | |
|---|---|
Formal Methods in Requirements Engineering: Survey and Future Directions |
|
| Author | |
| Year of Publication |
2024
|
| Conference Name |
International Conference on Formal Methods in Software Engineering (FormaliSE)
|
| Conference Location |
Lisbon, Portugal
|
| Google Scholar | BibTeX | |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.