Our extension work of NSS paper on detecting contradictions from IoT protocol specification documents is accepted by Elsevier ISA Transactions.

2023-04-29