著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
International Conference on Formal Methods for Industrial Critical Systems and Groote, J. F. (Jan Frisco) and Huisman, Marieke	Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings		Springer	2022	Lecture notes in computer science	13487	9783031150074		https://ci.nii.ac.jp/ncid/BC18388003
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BC18388003.tsv">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BC18388003.tsv" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>