FORMAL METHODS IN SOFTWARE ENGINEERING. IEEE/ACM INTERNATIONAL CONFERENCE. 11TH 2023. (FormaliSE 2023)

Item #:
069655
$100.00 - $200.00
Adding to cart… The item has been added

Details

  • Title: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
  • Date/Location: Held 14-15 May 2023, Melbourne, Australia.
  • IEEE #: CFP23ZAP-POD
  • ISBN: 9798350312645
  • Pages: 141 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Jul 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
  • Date/Location: Held 14-15 May 2023, Melbourne, Australia.
  • IEEE #: CFP23ZAP-POD
  • ISBN: 9798350312645
  • Pages: 141 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Jul 2023 )