logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
S

SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS

IF
论文数20
被引数
期刊论文 20
发表时间
delete
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAlexander, Samuel Allen; Pedersen, Arthur Paul
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteJardim, Bruno; Santos, Jaime; Barbosa, Luis S.
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCerone, Antonio; Zhalgendinov, Olzhas
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteLindqvist, John; Velazquez-Quesada, Fernando R.; Agotnes, Thomas
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deletevan Benthem, Johan
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteFervari, Raul; Icard, Benjamin
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteFigueiredo, Daniel; Madeira, Alexandre
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAman, Bogdan; Ciobanu, Gabriel
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteBedregal, Benjamin; Callejas, Claudio
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deletePluck, Graham; Gu, Fei; Asawanuchit, Natasha; Chantavarin, Suphasiree
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteMarcelino, Sergio
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteStecher, Philipp
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteRodrigues, Abilio; Coniglio, Marcelo E.; Freire, Alfredo
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCassano, Valentin; Frittella, Sabine
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteGaravaglia, Fabrizia Giulia; Giunti, Marco; Sergioli, Giuseppe
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteQuaresma, Pedro; Graziani, Pierluigi
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteLapomarda, Leonardo; Barco, Alex; Datteri, Edoardo
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteGalli, Giovanni
delete分享
delete收藏