%0 Conference Paper %1 conf/smc/SongSTS23 %A Song, Shuang %A Saxena, Manasvi %A Tsai, Pei-Hsuan %A Sha, Lui %B SMC %D 2023 %I IEEE %K dblp %P 4271-4276 %T Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. %U http://dblp.uni-trier.de/db/conf/smc/smc2023.html#SongSTS23 %@ 979-8-3503-3702-0

@inproceedings{conf/smc/SongSTS23, added-at = {2024-02-13T00:00:00.000+0100}, author = {Song, Shuang and Saxena, Manasvi and Tsai, Pei-Hsuan and Sha, Lui}, biburl = {https://www.bibsonomy.org/bibtex/299e9192c49ca3644811e81ffa7830833/dblp}, booktitle = {SMC}, crossref = {conf/smc/2023}, ee = {https://doi.org/10.1109/SMC53992.2023.10393931}, interhash = {1170920789795b72e06024b81ff3d784}, intrahash = {99e9192c49ca3644811e81ffa7830833}, isbn = {979-8-3503-3702-0}, keywords = {dblp}, pages = {4271-4276}, publisher = {IEEE}, timestamp = {2024-04-09T19:24:58.000+0200}, title = {Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2023.html#SongSTS23}, year = 2023 }